option("target_os")
    set_showmenu(true)
    set_values("linux", "rtthread", "rtsmart")
option_end()